Elective Modules of Computer Science

Module	LV Type	CP	LV	Dates
Actions and Planning in AI: Learning, Models, and Algorithms	Fach-/Modulprüfung	6	530726
	Übung		526827	Mi 10:30-12:00 Be 114 (1140\|114) (×9) Mi 10:30-12:00 Extern (×1) Mi 10:30-12:00 V (1010\|213) (×1)
	Vorlesung		526438	Di 16:30-18:00 Phil (1070\|113) (×10) Do 16:30-18:00 Be 225 (1140\|225) (×9)
Advanced Algorithmic Differentiation	Fach-/Modulprüfung	6	535403
Advanced Algorithmic Differentiation	Vorlesung/Übung		532361	Mo 10:30-12:00 AH III (2350\|314.1) (×13) Mi 12:30-14:00 AH III (2350\|314.1) (×14)
Advanced Algorithmics	Fach-/Modulprüfung	6	529871
Advanced Automata Theory	Fach-/Modulprüfung	6	531708
Advanced C++	Fach-/Modulprüfung	4	530725
Advanced Internet Technology	Fach-/Modulprüfung	6	528031
	Übung		524317	Fr 12:30-14:00 AH I (2350\|028) (×8)
	Vorlesung		523913	Di 14:30-16:00 AH I (2350\|028) (×12) Fr 10:30-12:00 AH I (2350\|028) (×9)
Advanced Machine Learning	Fach-/Modulprüfung	6	531242
Advanced Machine Learning	Vorlesung		524468	Mo 12:30-14:00 HKW 2 (1132\|303) (×13) Do 12:30-14:00 AH IV (2354\|030) (×11)
Advanced Microcontroller Programming and Debugging	Fach-/Modulprüfung	6	530387
	Vorlesung/Übung		527000	Di 12:30-14:00 H09 (1385\|220) (×12) Mi 08:30-10:00 H11 (1385\|218) (×13)
	Vorlesung/Übung		527000	Di 12:30-14:00 H09 (1385\|220) (×12) Mi 08:30-10:00 H11 (1385\|218) (×13)
Advanced Process Mining	Übung		525716	Mo 14:30-16:00 AH VI (2356\|051) (×11)
	Vorlesung		525715	Di 16:30-18:00 AH V (2356\|050) (×12) Do 10:30-12:00 AH VI (2356\|051) (×9)
	Fach-/Modulprüfung	6	531360
Advanced Topics in Machine Learning for Human Language Technology	Fach-/Modulprüfung	4	529448
Advanced Topics of Virtual Reality	Fach-/Modulprüfung	6	529093
Advanced Topics of Virtual Reality	Vorlesung/Übung		525169	Di 12:30-14:00 AH III (2350\|314.1) (×1) Di 12:30-14:00 AH VI (2356\|051) (×11) Do 16:30-18:00 AH VI (2356\|051) (×10)
Algorithmic Model Theory I	Fach-/Modulprüfung	8	528281
Automatic Speech Recognition Search	Fach-/Modulprüfung	4	529221
	Übung		526764	Mi 10:30-12:00 AH III (2350\|314.1) (×5) Do 10:30-11:00 5054 (2356\|054) (×1) Do 10:30-12:00 5054 (2356\|054) (×1)
	Vorlesung		526763	Di 08:30-10:00 5054 (2356\|054) (×9) Mi 10:30-12:00 AH III (2350\|314.1) (×4) Do 10:30-12:00 5054 (2356\|054) (×4)
Business Process Intelligence	Fach-/Modulprüfung	6	530026
	Übung		525691	Mi 10:30-12:00 AH IV (2354\|030) (×11)
	Vorlesung		525690	Mo 14:30-16:00 AH V (2356\|050) (×11) Di 12:30-14:00 AH V (2356\|050) (×11)
Communication Systems Engineering	Fach-/Modulprüfung	6	527988
Computer Vision	Fach-/Modulprüfung	6	532120
Computer Vision	Vorlesung/Übung		524905	Mo 10:30-12:00 TEMP2 (1515\|002) (×13) Do 08:30-10:00 TEMP2 (1515\|002) (×11)
CSCW and Groupware: Concepts and Systems for Computer Supported Cooperative Work	Fach-/Modulprüfung	4	532113
Current Topics in Media Computing and HCI	Fach-/Modulprüfung	6	531703
Current Topics in Media Computing and HCI	Vorlesung/Übung		525440	Di 10:30-12:00 Extern (×11) Mi 12:30-14:00 Extern (×13)
Data Stream Management and Analysis	Fach-/Modulprüfung	6	529777
Data Stream Management and Analysis	Vorlesung/Übung		526822	Mo 08:30-10:00 AH III (2350\|314.1) (×12) Fr 08:30-10:00 Großer B-IT Raum (2356\|053.2) (×12)
Designing Interactive Systems II	Fach-/Modulprüfung	6	532115
Designing Interactive Systems II	Vorlesung/Übung		525350	Mo 14:30-16:00 Extern (×12) Mi 09:30-12:00 Extern (×14)
Distributed Ledger Technology	Fach-/Modulprüfung	4	530684
Dynamical Processes on Networks	Fach-/Modulprüfung	6	529284
Embedded Systems	Fach-/Modulprüfung	6	532112
	Vorlesung/Übung		524753	Mo 16:30-18:00 H07 (1385\|104) (×12) Mi 10:30-12:00 H07 (1385\|104) (×10)
	Vorlesung/Übung		527290	Mo 14:30-16:00 AH III (2350\|314.1) (×12) Di 18:30-20:00 H06 (1385\|004) (×10)
Fixpoints and Induction in Logic and Computer Science	Fach-/Modulprüfung	6	529313
	Übung		526841	Mi 12:30-14:00 Seminarraum i7, Raum 4116 (2353\|116) (×3) Fr 12:30-14:00 5052 (2356\|052) (×8)
	Vorlesung		526041	Mo 10:30-11:30 AH VI (2356\|051) (×1) Mo 10:30-12:00 5056 (2356\|056) (×11) Di 08:30-10:00 5056 (2356\|056) (×8)
Foundations of Functional Programming	Fach-/Modulprüfung	6	530040
Foundations of Logic Programming	Fach-/Modulprüfung	6	531301
	Übung		532443	Do 10:30-12:00 AH IV (2354\|030) (×10) Do 16:30-18:00 AH II (2350\|111) (×1)
	Vorlesung		532442	Do 10:30-12:00 AH IV (2354\|030) (×1) Do 13:30-18:00 AH IV (2354\|030) (×1) Do 16:30-18:00 AH II (2350\|111) (×9) Fr 14:30-16:00 AH III (2350\|314.1) (×11)
Foundations of the UML	Fach-/Modulprüfung	6	531334
Functional Safety and System Dependability	Fach-/Modulprüfung	6	531304
Functional Safety and System Dependability	Vorlesung/Übung		534290	Di 14:30-16:00 H09 (1385\|220) (×13) Do 12:30-14:00 H06 (1385\|004) (×10)
Fundamentals of Business Process Management	Fach-/Modulprüfung	6	529879
Geometry Processing	Fach-/Modulprüfung	6	532114
	Übung		524333	Fr 10:30-12:00 AH V (2356\|050) (×13)
	Vorlesung		525193	Di 10:30-12:00 AH V (2356\|050) (×8) Di 10:30-12:00 AH VI (2356\|051) (×5) Do 10:30-12:00 AH III (2350\|314.1) (×11)
Graph Decompositions and Algorithmic Applications	Fach-/Modulprüfung	6	531837
Industrial Data Security	Fach-/Modulprüfung	6	534964
	Übung		534235	Do 10:30-12:00 AH II (2350\|111) (×6)
	Vorlesung		534234	Di 10:30-12:00 AH I (2350\|028) (×1) Di 10:30-12:00 AH V (2356\|050) (×4) Di 10:30-12:00 AH VI (2356\|051) (×4) Mi 10:30-12:00 AH V (2356\|050) (×12)
Infinite Computations and Games	Fach-/Modulprüfung	6	528510
Introduction to Numerical Methods and Software with C++	Fach-/Modulprüfung	6	529271
Introduction to Numerical Methods and Software with C++	Vorlesung/Übung		558529	Di 10:30-12:00 AH III (2350\|314.1) (×13) Mi 08:30-10:00 AH III (2350\|314.1) (×14)
Introduction to Program Synthesis	Fach-/Modulprüfung	6	573400
	Übung		557868	Do 10:30-12:00 Extern (×11) Do 12:30-14:00 Extern (×11)
	Vorlesung		557865	Mi 12:30-14:30 Extern (×13)
Introduction to Quantum Computing	Fach-/Modulprüfung	6	529571
	Übung		526126	Di 10:30-12:00 TEMP2 (1515\|002) (×12)
	Vorlesung		526173	Mo 16:30-18:00 TEMP1 (1515\|001) (×13) Fr 16:30-18:00 Otto Fuchs-Hörsaal (H03) (1385\|003) (×13)
IT-Security 1 - Cryptographic Basics and Network Security	Fach-/Modulprüfung	6	529007
IT-Security 2 - Computer Security	Fach-/Modulprüfung	6	531702
Knowledge Representation	Fach-/Modulprüfung	6	531310
Logics for Reasoning about Uncertainty	Fach-/Modulprüfung	4	528253
Machine Learning with Graphs: Foundations and Applications	Fach-/Modulprüfung	6	530455
Mobile Internet Technology	Fach-/Modulprüfung	6	531302
Mobile Internet Technology	Vorlesung/Übung		524897	Mo 14:30-16:00 AH I (2350\|028) (×8) Do 10:30-12:00 AH I (2350\|028) (×6) Fr 14:30-16:00 AH I (2350\|028) (×10)
Model Checking	Fach-/Modulprüfung	6	531296
Model-Based Software Engineering	Fach-/Modulprüfung	6	532109
Modeling and analysis of hybrid systems	Fach-/Modulprüfung	6	531297
Modeling and Verification of Probabilistic Systems	Fach-/Modulprüfung	6	528987
	Übung		533818	Do 14:30-16:00 5056 (2356\|056) (×11)
	Vorlesung		533817	Di 10:30-12:00 5055 (2356\|055) (×11) Di 10:30-12:00 UMIC_025 (2165\|025) (×1) Mi 08:30-10:00 5056 (2356\|056) (×10)
Near-term Quantum Computation	Fach-/Modulprüfung	6	529755
	Übung		526285	Do 16:30-18:00 R 140 (1080\|140) (×11)
	Vorlesung		527606	Fr 10:30-12:00 R 140 (1080\|140) (×13)
Online Algorithms	Fach-/Modulprüfung	6	528361
Optimization and Uncertainty	Fach-/Modulprüfung	6	535020
	Übung		535019	Mi 10:30-12:00 SG 512 (1810\|512) (×13)
	Vorlesung		535018	Mo 10:30-12:00 AH I (2350\|028) (×13) Di 08:30-10:00 AH III (2350\|314.1) (×14)
Performance Analysis and Correctness Checking of Parallel Applications	Fach-/Modulprüfung	6	531403
	Vorlesung/Übung		525837	Mo 12:30-14:00 5056 (2356\|056) (×12) Do 12:30-14:00 5056 (2356\|056) (×10)
Physics Simulation in Visual Computing	Fach-/Modulprüfung	6	528176
	Fach-/Modulprüfung	6	530650
	Vorlesung/Übung		527199	Mi 10:30-12:00 AH II (2350\|111) (×14) Fr 10:30-12:00 5056 (2356\|056) (×13)
Probabilistic Programming	Fach-/Modulprüfung	4	528386
Processes and Methods of Software Tests	Fach-/Modulprüfung	3	532122
Processes and Methods of Software Tests	Fach-/Modulprüfung	6	532121
Quantum Computing	Fach-/Modulprüfung	4	528513
Reinforcement Learning and Learning-based Control	Fach-/Modulprüfung	6	531736
	Übung		526386	Mi 12:30-14:00 PPS H2 (2315\|001) (×14)
	Vorlesung		526605	Mi 10:30-12:00 PPS H2 (2315\|001) (×14)
Research Focus Class on Learning Technologies	Fach-/Modulprüfung	6	531312
Shape Analysis and 3D Deep Learning	Fach-/Modulprüfung	6	529034
	Übung		527084	Do 12:30-14:00 AH III (2350\|314.1) (×11)
	Vorlesung		527270	Di 14:30-16:00 AH V (2356\|050) (×11) Do 14:30-16:00 AH VI (2356\|051) (×10)
Software Language Engineering	Projekt	6	526175
Software Language Engineering	Vorlesung/Übung		525948	Di 12:30-14:00 AH I (2350\|028) (×13) Mi 16:30-18:00 AH IV (2354\|030) (×13) Do 16:30-18:00 AH III (2350\|314.1) (×11)
Software Project Management	Fach-/Modulprüfung	4	531306
	Übung		523985	Fr 12:30-14:00 AH VI (2356\|051) (×13)
	Vorlesung		525464	Di 11:00-12:30 AH IV (2354\|030) (×1) Mi 12:30-14:00 AH VI (2356\|051) (×1) Mi 14:45-17:00 AH VI (2356\|051) (×1) Do 12:30-14:00 AH VI (2356\|051) (×6) Fr 10:30-12:00 AH VI (2356\|051) (×13)
Software Quality Assurance	Fach-/Modulprüfung	6	531253
Statistical Methods in Natural Language Processing	Fach-/Modulprüfung	8	531402
Stochastic Processes and Dynamical Systems	Fach-/Modulprüfung	4	530737
The Logic of Knowledge Bases	Fach-/Modulprüfung	6	528373
Theory of Constraint Satisfaction Problems	Fach-/Modulprüfung	6	531216
Theory of Distributed and Parallel Systems	Fach-/Modulprüfung	6	528061
Theory of Distributed Systems	Fach-/Modulprüfung	6	535016
	Übung		535015	Mi 16:30-18:00 HKW 3 (1132\|504) (×2) Do 10:30-12:00 HKW 3 (1132\|504) (×11)
	Vorlesung		535014	Mo 08:30-10:00 AH I (2350\|028) (×11) Di 10:30-12:00 AH I (2350\|028) (×10)